axiomatics

axiomatics
аксиоматика
- informal axiomatics

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "axiomatics" в других словарях:

  • axiomatics — noun The study of all the axioms associated with a particular subject …   Wiktionary

  • axiomatics — ax·i·o·mat·ics …   English syllables

  • axiomatics — d.iks, tiks, ēks noun plural but singular in construction 1. : a set of axioms : an axiomatized system 2. : the study or a theory of axioms or axiom systems * * * axiomatˈics singular noun The study of axioms and axiom systems • • • Main Entry:… …   Useful english dictionary

  • Boolean algebra (structure) — For an introduction to the subject, see Boolean algebra#Boolean algebras. For the elementary syntax and axiomatics of the subject, see Boolean algebra (logic). For an alternative presentation, see Boolean algebras canonically defined. In abstract …   Wikipedia

  • Thermodynamics — Annotated color version of the original 1824 Carnot heat engine showing the hot body (boiler), working body (system, steam), and cold body (water), the letters labeled according to the stopping points in Carnot cycle …   Wikipedia

  • Inversive geometry — Not to be confused with Inversive ring geometry. In geometry, inversive geometry is the study of those properties of figures that are preserved by a generalization of a type of transformation of the Euclidean plane, called inversion. These… …   Wikipedia

  • XACML — stands for eXtensible Access Control Markup Language . It is a declarative access control policy language implemented in XML and a processing model, describing how to interpret the policies. It is a replacement for IBM s XML access control… …   Wikipedia

  • Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… …   Wikipedia

  • Quasi-set theory — is a formal mathematical theory of collections of indistinguishable objects, mainly motivated by the assumption that certain objects treated in quantum physics are indistinguishable. Quasi set theory is closely related to, yet distinct from,… …   Wikipedia

  • Temperature — This article is about the thermodynamic property. For other uses, see Temperature (disambiguation). A map of global long term monthly average surface air temperatures i …   Wikipedia

  • Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… …   History of philosophy


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»